Nuprl Definition : cchead 11,40
cchead() == inl   
latex

Definitionsinl x ,
FDL editor aliasescchead

origin